41. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
42. Formal methods and software development
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
43. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
پدیدآورنده : Marco Bernardo, Alessandro Bogliolo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3465
44. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
45. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
46. Handbook of Industrial system Safty engineering and risk Assessment
پدیدآورنده : / edited by Lee Gaumer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
رده :
TS156
.
G285
2012
R
47. Integrated project support environments
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
48. Integrated project support environments: the aspect project
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Electronic data processing-- Management
رده :
QA
76
.
76
.
D47
.
I553
1991
49. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: (طهران)
موضوع : Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
50. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
51. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
52. Knowledge-based software engineering
پدیدآورنده : edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
کتابخانه: (مازندران)
موضوع : Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
53. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: (طهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
E95J6
2000
54. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Expert systems )Computer science(-- Congresses
رده :
QA
76
.
76
.
D47
.
I35
1992
55. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها ,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
56. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
57. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
58. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
59. Mathematical methods of specification and synthesis of software systems '85 : Proceedings
پدیدآورنده : edited by W. Bibel and K.P. Jantke
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
215
60. Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
پدیدآورنده : edited by W. Bibel and K.P. Jantke
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
215